En mathématiques, et plus spécifiquement en topologie algébrique, le groupe fondamental, ou groupe de Poincaré, est un invariant topologique. Le groupe fondamental d`un espace topologique pointé (X, p) est, par définition, l`ensemble des classes d`homotopie de lacets (chemins fermés) de X ...